Run-Time Guarantees for Real-Time Systems
نویسنده
چکیده
Interpretation (AI) • AI: semantics based method for static program analysis • Basic idea of AI: Perform the program's computations using value descriptions or abstract value in place of the concrete values • Basic idea in WCET: Derive timing information from an approximation of the “collecting semantics” (for all inputs) • AI supports correctness proofs • Tool support (PAG)
منابع مشابه
A Formally-Proven Composable Architecture for Real-Time Systems
The Message Scheduled System (MSS) is a composable real-time architecture that allows the extension of systems at runtime without compromising timing guarantees. In this paper, we introduce the MSS architecture and discuss its guarantees as well as the way of proving the holding of these guarantees for any system that follows the MSS architecture.
متن کاملEfficient Scheduling of Real-Time Multi-Task Applications in Dynamic Systems
The Bandwidth Sharing Server (BSS) is a scheduling strategy for multi-task real-time applications that provides the dual properties of performance guarantees and inter-application isolation. We describe here the BSS-I algorithm, an evolution of the BSS, aimed at (i) improving the run-time performance and (ii) generalizing the kinds of performance guarantees that can be o ered.
متن کاملDetecting and counting vehicles using adaptive background subtraction and morphological operators in real time systems
vehicle detection and classification of vehicles play an important role in decision making for the purpose of traffic control and management.this paper presents novel approach of automating detecting and counting vehicles for traffic monitoring through the usage of background subtraction and morphological operators. We present adaptive background subtraction that is compatible with weather and ...
متن کاملDesign for Time-Predictability
A large part of safety-critical embedded systems has to satisfy hard real-time constraints. These need sound methods and tools to derive reliable run-time guarantees. The guaranteed run times should not only be reliable, but also precise. The achievable precision highly depends on characteristics of the target architecture and the implementation methods and system layers of the software. Trends...
متن کاملTowards Real-time Wireless Cyber-physical Systems
One big challenge to be overcome before the successful deployment of wireless cyber-physical systems is to provide hard real-time guarantees, not only within the wireless network, but in fact between end-to-end application processes. To achieve this, we design a distributed real-time protocol (DRP) that considers the complete transmission chain, including application tasks, peripheral busses, m...
متن کاملA Non-Preemptive Two-Class M/M/1 System with Prioritized Real-Time Jobs under Earliest-Deadline-First Policy
This paper introduces an analytical method for approximating the performance of a two-class priority M/M/1 system. The system is fully non-preemptive. More specifically, the prioritized class-1 jobs are real-time and served with the non-preemptive earliest-deadline-first (EDF) policy, but despite their priority cannot preempt any non real-time class-2 job. The waiting class-2 jobs can only be s...
متن کامل